221. The fire in the equations

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Religion and science,، God-- Proof, Cosmological,، Knowledge, Theory of

رده :
BL
240
.
2
.
F44
1994

222. <The> Nuts and Bolts of Proofs

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Proof theory,تئوری اثبات

رده :
QA9
,.
54
.
C86
2013

223. The age of alternative logics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory

رده :
BC135
.
A39
2006

224. The age of alternative logics : assessing philosophy of logic and mathematics today

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(

رده :
BC
135
.
A35

225. The age of alternative logics: assessing philosophy of logic and mathematics today

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(

رده :
BC
135
.
A39
2006

226. The art of proof :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathematics-- Study and teaching,Proof theory

رده :
QA9
.
54
.
B43
2010

227. The blind spot :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic,Proof theory

228. The evidence for God : religious knowledge reexamined

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، God -- Proof,، God )Christianity(,، Knowledge, Theory of )Religion(

رده :
BT
103
.
M68E9

229. The fire in the equations: science, religion, and the search for God

پدیدآورنده :

کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)

موضوع : ، Religion and science,Proof, Cosmological ، God,، Knowledge, Theory of

رده :
BL
240
.
2
.
F45
1995

230. The history of mathematical proof in ancient traditions /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathematics, Ancient,Proof theory

رده :
QA22
.
H588
2012

231. The logic of provability

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Modality )Logic(,، Proof theory

رده :
BC
199
.
M6B6

232. The moment of proof :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Proof theory ; Popular works. ;

233. The moment of proof

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Proof theory-- Popular works.

234. The moment of proof: mathematical epiphanies

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Proof theory

رده :
QA
9
.
54
.
B46
1999

235. The nuts and bolts of proofs

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Proof theory

رده :
E-BOOK

236. The nuts and bolts of proofs

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Proof theory

رده :
QA
9
.
54
.
C86N8
2005

237. The nuts and bolts of proofs

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Proof theory. ;

238. The nuts and bolts of proofs

پدیدآورنده :

کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)

موضوع : ، Proof theory

رده :
QA
9
.
54
.
C86
2001

239. The nuts and bolts of proofs : an introduction to mathematical proofs

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Proof theory

رده :
QA
9
.
54
.
C86N8
2013

240. The science of learning mathematical proofs :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Proof theory. ;